Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
type specification - traducción al ruso
MATHEMATICALLY BASED TECHNIQUES WHOSE PURPOSE ARE TO HELP WITH THE IMPLEMENTATION OF SYSTEMS AND SOFTWARE
Program specification; Specification (computing); Formal Specification; Software specification
type specification
общая лексика
шрифтовой стандарт
requirements specifications
A SET OF FUNCTIONAL AND NON-FUNCTIONAL REQUIREMENTS THAT A PIECE OF DESIGNED SOFTWARE NEEDS TO FULFIL, MAY INCLUDE A SET OF USE CASES
Requirements specification; IEEE 830; Req spec; Requirements specifications; Software Requirements Specification
общая лексика
задание техническое
lectotype
.jpg?width=200)
![Linnaeus]], is the type species for the genus ''[[Bufo]]''](https://commons.wikimedia.org/wiki/Special:FilePath/Bufo bufo (Marek Szczepanek).jpg?width=200 "Linnaeus]], is the type species for the genus ''[[Bufo]]''")
![dorsal]] and 2) ventral aspect of holotype,<br>3) dorsal and 4) ventral aspect of paratype](https://commons.wikimedia.org/wiki/Special:FilePath/JamidesEliotiMUpUnAC1.jpg?width=200 "dorsal]] and 2) ventral aspect of holotype,<br>3) dorsal and 4) ventral aspect of paratype")
![Type illustration of ''[[Mormopterus acetabulosus]]''](https://commons.wikimedia.org/wiki/Special:FilePath/Mormopterus acetabulosus type illustration.jpg?width=200 "Type illustration of ''[[Mormopterus acetabulosus]]''")
ANCHORING POINT (OF A NAME) IN TAXONOMY
Type specimen; Neotype; Biological types; Lectotype; Type (botany); Type (zoology); Botanical type; Clonotype; Type locality (biology); Type material; Paralectotype; Typus; Onomatophore; Cotype; Biological type; Hapantotype; Type specimens; Types in zoology; Type location (biology); Type illustration; Locality (biology); Type-specimen; Orthotype; Isoneotype; Plastotype; Isolectotype; Iconotype; Type series; Neotypification; Lectotypification; Ergatotype; Lectotype specimen; Type host; Typetaxon; Type (taxonomy); Series of type specimens; Hypotype
общая лексика
лектотип
Definición
type specimen
Wikipedia
Formal specification
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
